Publikationen

Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe (2019). Taming Concurrency for Verification Using Multiparty Session Types. Theoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science. Springer, Cham, 196-215.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). Vergleich von Lernstilen und deren Umsetzungsmöglichkeiten im LMS Moodle. Das Elektronische Schulbuch 2017: Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik. LIT Verlag, 25–37.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). On Supplementing Theoretical Computer Science Courses Using E-Learning. Proceedings of the 18th Koli Calling International Conference on Computing Education Research. ACM, 14:1–14:10.

Wolf, Alexander and Wilhelm-Weidner, Arno and Nestmann, Uwe (2018). A Case Study of Flipped Classroom for Automata Theory in Secondary Education. Proceedings of the 13th Workshop in Primary and Secondary Computing Education. ACM, 23:1–23:6.

Morten Kühnrich and Uwe Nestmann (2009). On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE, 198-212.

(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. FMOODS/FORTE. Springer.

Florian Eilers and Uwe Nestmann (2009). Deriving Trust from Experience. Formal Aspects in Security and Trust, 36-50.

(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Formal Aspects in Security and Trust. Springer.

Wagner, Christoph and Nestmann, Uwe (2014). States in Process Calculi. EXPRESS/SOS, 48-62.

Uwe Nestmann (2006). Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR, 52-63.

(2006). CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. CONCUR. Springer.

Daniel C. Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier Rütti and André Schiper and Pawel T. Wojciechowski (2006). Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program, 172-194.

(2006). Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Research Results of the DICS Program. Springer.

Daniel C. Bünzli and Sergio Mena and Uwe Nestmann (2005). Protocol Composition Frameworks A Header-Driven Model. NCA, 243-246.

(2005). Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. NCA. IEEE Computer Society.

Sébastien Briais and Uwe Nestmann (2005). A Formal Semantics for Protocol Narrations. TGC, 163-181.

(2005). Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. TGC. Springer.

Johannes Borgström and Sébastien Briais and Uwe Nestmann (2004). Symbolic Bisimulation in the Spi Calculus. CONCUR, 161-176.

(2004). CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. CONCUR. Springer.

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus. EXPRESS/SOS, 16-29.

Johannes Borgström and Uwe Nestmann and Luc Onana Alima and Dilian Gurov (2004). Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing, 250-265.

(2005). Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Global Computing. Springer.

(2003). Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. FMOODS. Springer.

Uwe Nestmann and Rachele Fuzzati (2003). Unreliable Failure Detectors via Operational Semantics. ASIAN, 54-71.

(2003). Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. ASIAN. Springer.

Uwe Nestmann and Rachele Fuzzati and Massimo Merro (2003). Modeling Consensus in a Process Calculus. CONCUR, 393-407.

(2003). CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. CONCUR. Springer.

Johannes Borgström and Uwe Nestmann (2002). On Bisimulations for the Spi Calculus. AMAST, 287-303.

(2002). Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. AMAST. Springer.

Sébastien Briais and Uwe Nestmann (2002). Mobile Objects "Must" Move Safely. FMOODS, 129-146.

(2002). Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. FMOODS. Kluwer.

Massimo Merro and Josva Kleist and Uwe Nestmann (2000). Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS, 390-408.

(2000). Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. IFIP TCS. Springer.

Arbach, Youssef and Peters, Kirstin and Nestmann, Uwe (2013). Adding Priority to Event Structures. EXPRESS/SOS, 17-31.

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS. EXPRESS/SOS, 61-75.

Uwe Nestmann and António Ravara (1999). Semantics of Objects as Processes (SOAP). ECOOP Workshops, 314-325.

(1999). Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. ECOOP Workshops. Springer.

Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (1999). Aliasing Models for Object Migration. Euro-Par, 1353-1368.

(1999). Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings. Euro-Par. Springer.

Uwe Nestmann (1999). Mobile Objects (a project overview). FBT, 155-164.

(1999). Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. FBT. Herbert Utz Verlag.

Uwe Nestmann and Benjamin C. Pierce (1996). Decoding Choice Encodings. CONCUR, 179-194.

(1996). CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. CONCUR. Springer.

Uwe Nestmann and Martin Steffen (1995). Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence, 23-42.

Wilhelm-Weidner, Arno and Nestmann, Uwe (2017). Interaktives Erstellen mobiler Lerneinheiten mit MobiMat. Das Elektronische Schulbuch 2016. LIT Verlag.

Peters, Kirstin (2012). Translational Expressiveness. Comparing Process Calculi using Encodings. TU Berlin

Peters, Kirstin and Nestmann, Uwe and Goltz, Ursula (2013). On Distributability in Process Calculi. ESOP. Springer, 310-329.

Peters, Kirstin and Schicke, Jens-Wolfhard and Nestmann, Uwe (2011). Synchrony vs Causality in the Asynchronous Pi-Calculus. EXPRESS, 89-103.

Küfner, Philipp and Nestmann, Uwe and Rickmann, Christina (2012). Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS. Springer, 209-224.

Sarrouh, Nadim and Eilers, Florian and Nestmann, Uwe and Schieferdecker, Ina (2010). Defamation-Free Networks through User-Centered Data Control. STM. Springer, 179-193.